Comparing Fixed-Point and Revision Theories of Truth

نویسنده

Philip Kremer

چکیده

In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. (Martin and Woodruff independently developed this semantics, but not to the same extent as Kripke.) Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the fixed-point theories. The current paper considers three natural ways to compare the various resulting theories of truth, and establishes the resulting relationships among these theories. The point is to get a sense of the lay of the land amid a variety of options. Our results will also provide technical fodder for the methodological remarks of the companion paper to this one.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

How Truth Behaves When There's No Vicious Reference

In The Revision Theory of Truth (MIT Press), Gupta and Belnap (1993) claim as an advantage of their approach to truth “its consequence that truth behaves like an ordinary classical concept under certain conditions— conditions that can roughly be characterized as those in which there is no vicious reference in the language.” To clarify this remark, they define Thomason models, nonpathological mo...

متن کامل

A new conditional for näıve truth theory

Abstract: In this paper the a logic, TJK, suitable for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and ω-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces i...

متن کامل

A New Conditional for Naive Truth Theory

Abstract: In this paper a logic suitable for reasoning disquotationally about truth, TJK, is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and ω-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is in...

متن کامل

Simplicity is Not Truth-Indicative

In this paper I will argue that, in general, where the evidence supports two theories equally, the simpler theory is not more likely to be true and is not likely to be nearer the truth. In other words simplicity does not tell us anything about model bias. Our preference for simpler theories (apart from their obvious pragmatic advantages) can be explained by the facts that humans are known to el...

متن کامل